Multi-paradigm Logic Programming the Eden Coordination Model for Distributed Memory Systems

The Eden Coordination Model for Distributed Memory Systems

Eden is a concurrent declarative language that aims at both the programming of reactive systems and parallel algorithms on distributed memory systems. In this paper, we explain the computation and coordination model of Eden. We show how lazy evaluation in the computation language is fruitfully combined with the coordination language that is specifically designed for multicomputers and that aims...

From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View

The explicitly parallel programming language Eden adds a coordination level to the lazy functional language Haskell. This paper describes how a compiler and runtime system for Eden can incrementally be built on the basis of a compiler and runtime system for the computation language. The modiications needed in the compiler are restricted to speciic orthogonal extensions. We show that Eden's desi...

An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents

We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous work on Lucx, an Intensional Programming Language extended with context as first class object, to support coordination activities in a distributed network of agents. We study coordination constructs which can be applied...

A bi-level programming approach to coordinating pricing and ordering decisions in a multi-channel supply chain

This paper investigates the Stackelberg equilibrium for pricing and ordering decisions in a multi-channel supply chain. We study a situation where a manufacturer is going to open a direct online channel in addition to n existing traditional retail channels. It is assumed that the manufacturer is the leader and the retailers are the followers. The situation has a hierarchical nature and...

Extending the Parallel Logic Programming Paradigm with Linda-like Operations